Nuprl Definition : p_subset
13,42
postcript
pdf
A
{
T
}
B
==
x
:
T
. (
A
(
x
))
(
B
(
x
))
latex
Up
gen
algebra
1
Wellformedness Lemmas
p
subset
wf
Definitions
x
:
A
.
B
(
x
)
,
P
Q
origin
{T} B == 
x:T. (A(x)) 
(B(x)) {T} B == x:T. (A(x)) (B(x)) x:A. B(x) Q